A Process Model Repair Approach by Constructing Choice Structures via Logic Petri Nets
نویسندگان
چکیده
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملFree-choice Petri Nets an Algebraic Approach
In this paper, we give evolution equations for free choice Petri net which generalize the max; +]-algebraic setting already known for event graphs. These evolution equations can be seen as a coupling of two linear systems, a (min; +)-linear system, and a quasi (+;)-linear one. This leads to new methods and algorithms to: In the untimed case: check liveness and several other basic logical proper...
متن کاملA Fuzzy Approach to Sequential Failure Analysis Using Petri nets
In highly competitive industrial market, the concept of failure analysis is an unavoidable fact in complex industrial systems. Reliability of such systems not only depends on the reliability of each element of these systems, but also depends on occurrence of sequence of failures. In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the c...
متن کاملModel Checking with Logic Based Petri Nets
We introduce a new class of Petri nets, simple logic Petri nets (SLPN). We show how this type of nets can be efficiently mapped into logic programs with negation: the corresponding answer sets describe interleaved executions of the underlying Petri nets. We also show how to model and specify AgentSpeak agents with SLPN’s. This allows us to solve the task of model checking AgentSpeak agents by c...
متن کاملLogic Programming Petri Nets
With the purpose of modeling, specifying and reasoning in an integrated fashion with procedural and declarative aspects (both commonly present in cases or scenarios), the paper introduces Logic Programming Petri Nets (LPPN), an extension to the Petri Net notation providing an interface to logic programming constructs. Two semantics are presented. First, a hybrid operational semantics that separ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2956588